Section: Partnerships and Cooperations

International Research Visitors

• Xian Xu has completed in May a year sabbatical in Focus. He is lecturer at the East China University of Science and Technology in Shanghai.

• Marco Bernardo, Universita' Urbino. A couple of 2 or 3 day visits during the year. Topic: probabilistic process models.

• Simon Gay, University Glasgow. A 1-month visit, March-April. Topic: session types.

• Andrei Dorman, Paris 13. One 3-day visit in May. Topic: Concurrent Interaction Nets and Graph Rewriting

• Patrick Baillot, ENS Lyon, and Gilles Barthe, IMDEA Madrid. One joint 4-day visit in May. Topic: Security and Cryptography

• Matthew Hennessy, University College Dublin. One 3-day visit in June. Topic: probabilistic bisimulations.

• Ramyaa Ramyaa, LMU Munich. One 1-week visit in June.

• Lionel Vaux and Emmanuel Beffara, Marseille. One 3-day visit in October. Topic: Linear Logic.

• Ludovic Henrio, Inria Sophia Antipolis. One 2-day visit in December. Topic: deadlock-analysis and asynchronous object-oriented languages.

• Stefano Zacchiroli, from Paris 7, has visited us various times for a few days during the year.

• Roberto Amadini: 6 months at the Optimisation Research Group of NICTA in Melbourne (http://optimisation.nicta.com.au/ ).

• Ornela Dardha: 1 year (1 November 2012 - 1 November 2013) at IT University of Copenhagen, Denmark, visiting Prof. Marco Carbone (topic: type systems for processes)

• Giulio Pellitta: 6 months at Laboratoire d'Informatique, Université Paris Nord (November 2012 - May 2013). Topic: abstract machines for resouce control in the $\lambda$-calculus.

• Tudor Alexandru Lascu: 3 months at Paris 7 (PPS team). Topic: cloud computing.